* etc/MACHINES: Remove some old information no longer of relevance.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:25:50 +0000 (20:25 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:25:50 +0000 (20:25 -0700)
commitce48db0c64fd0af92d0f3f306afe726c65ca431b
tree53b6f711a07935baf17e274918aa4591a4734a48
parent92938689a010af869b0813e095368586ad839720
* etc/MACHINES: Remove some old information no longer of relevance.
Switch to outline-mode.
etc/ChangeLog
etc/MACHINES